| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Advanced Algorithmic Differentiation | Algorithmisches Differenzieren | Fach-/Modulprüfung | 6 | 453539 | ||
| Algorithmic Game Theory | Algorithmic Game Theory | Fach-/Modulprüfung | 6 | 451224 | ||
| Communication Systems Engineering | Communication Systems Engineering | Fach-/Modulprüfung | 6 | 454642 | ||
| Concepts and Models for Parallel and Data-centric Programming | Konzepte und Modelle der parallelen und datenzentrischen Programmierung (SS) | Fach-/Modulprüfung | 6 | 450746 | ||
| Konzepte und Modelle der parallelen und datenzentrischen Programmierung | Vorlesung/Übung | 449939 | Mo 10:30-12:00 H06 (1385|004) (×9) Do 12:30-14:00 H05 (1385|105) (×6) Do 12:30-14:00 H06 (1385|004) (×1) | |||
| Dynamical Processes on Networks | Dynamical Processes on Networks | Fach-/Modulprüfung | 6 | 454375 | ||
| Embedded Systems | Einführung in eingebettete Systeme | Fach-/Modulprüfung | 6 | 453162 | ||
| Einführung in eingebettete Systeme | Vorlesung/Übung | 449609 | Mo 16:30-18:00 AH III (2350|314.1) (×10) Di 14:30-16:00 AH III (2350|314.1) (×13) | |||
| Embedded Systems (International Academy) | Vorlesung/Übung | 450568 | Mo 14:30-16:00 AH III (2350|314.1) (×11) Mi 12:30-14:00 AH III (2350|314.1) (×13) | |||
| Infinite Computations and Games | Infinite Computations and Games | Fach-/Modulprüfung | 6 | 454588 | ||
| Mobile Internet Technology | Mobile Internet Technology | Fach-/Modulprüfung | 6 | 451288 | ||
| Mobile Internet Technology | Vorlesung/Übung | 449592 | Mo 14:30-16:00 AH I (2350|028) (×7) Do 10:30-12:00 AH I (2350|028) (×10) Fr 10:30-12:00 AH I (2350|028) (×9) Fr 10:30-12:00 Fakultätssitzungssaal Informatik (2359|222) (×1) | |||
| Model Checking | Model Checking | Fach-/Modulprüfung | 6 | 455274 | ||
| Introduction to Model Checking | Übung | 455137 | Mo 10:30-12:00 AH II (2350|111) (×1) Mi 16:30-18:00 AH V (2356|050) (×10) | |||
| Introduction to Model Checking | Vorlesung | 455138 | Mo 10:30-12:00 AH II (2350|111) (×12) Mo 14:00-16:00 5055 (2356|055) (×1) Do 12:30-14:00 AH II (2350|111) (×9) | |||
| Modeling and analysis of hybrid systems | Modellierung und Analyse hybrider Systeme | Fach-/Modulprüfung | 6 | 452314 | ||
| Performance Analysis and Correctness Checking of Parallel Applications | Leistungs- und Korrektheitsanalyse paralleler Programme | Fach-/Modulprüfung | 6 | 451475 | ||
| Leistungs- und Korrektheitsanalyse paralleler Programme | Vorlesung/Übung | 448641 | Mo 14:30-16:00 5056 (2356|056) (×10) Do 14:30-16:00 5056 (2356|056) (×7) Do 14:30-16:00 Extern (×1) | |||
| Probabilistic Programming | Probabilistische Programmierung | Fach-/Modulprüfung | 4 | 454494 | ||
| Research Focus Class on Communication Systems | Research Focus Class on Communication Systems | Fach-/Modulprüfung | 6 | 454587 | ||
| Semantics and Verification of Software | Semantik und Verifikation von Software | Fach-/Modulprüfung | 6 | 451529 | ||
| Software Language Engineering | Projektarbeit Software Language Engineering | Projekt | 6 | 448979 | ||
| Software Language Engineering | Vorlesung/Übung | 447004 | Di 14:30-16:00 AH I (2350|028) (×14) Mi 16:30-18:00 AH I (2350|028) (×13) Do 12:30-14:00 AH I (2350|028) (×12) | |||
| Software Project Management | Software-Projektmanagement | Fach-/Modulprüfung | 4 | 454026 | ||
| Software-Projektmanagement | Übung | 448463 | Mi 13:30-16:00 5055 (2356|055) (×1) Fr 08:30-10:00 AH V (2356|050) (×6) | |||
| Software-Projektmanagement | Vorlesung | 447677 | Di 16:30-18:00 AH V (2356|050) (×14) Mi 13:30-16:00 5055 (2356|055) (×1) Mi 14:00-17:00 5055 (2356|055) (×1) | |||
| Static Program Analysis | Statische Programmanalyse | Fach-/Modulprüfung | 6 | 450693 | ||
| Statische Programmanalyse | Übung | 455272 | Fr 10:30-12:00 AH III (2350|314.1) (×9) | |||
| Statische Programmanalyse | Vorlesung | 455273 | Mo 12:30-14:00 AH I (2350|028) (×9) Mo 14:00-16:00 5055 (2356|055) (×1) Di 14:30-16:00 AH II (2350|111) (×11) |